๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐๏ธ Constructive OCR
Proof-carrying Recognition, Verified Text Processing, Type-safe Parsing
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org
ยท
15h
๐
Graph Isomorphism
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
OCR vs ADE: Mechanisms Behind the Methods
dev.to
ยท
1d
ยท
Discuss:
DEV
๐
OCR
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com
ยท
9h
๐
Information Crystallography
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Three ways formally verified code can go wrong in practice
buttondown.com
ยท
2h
๐
Proof Carrying Code
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cactus Language โข Semantics 3
inquiryintoinquiry.com
ยท
3h
๐ข
Denotational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Burrows-Wheeler
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Computer vision AI VTIโs against Phishing
vmray.com
ยท
2d
๐๏ธ
Perceptual Hashing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Extract speaker notes from PowerPoint to text
dri.es
ยท
1d
๐
Palimpsest Analysis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
TALENT: Table VQA via Augmented Language-Enhanced Natural-text Transcription
arxiv.org
ยท
1d
๐๏ธ
Whisper
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog
ยท
17h
ยท
Discuss:
Hacker News
,
r/programming
โ
Format Verification
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
From Documents to Dialogue: A step-by-step RAG Journey
dev.to
ยท
5h
ยท
Discuss:
DEV
๐
Multi-vector RAG
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Build-less manga scanlation workflow: vertical OCR, translation, and layout-preserving typesetting in the browser
dev.to
ยท
4h
ยท
Discuss:
DEV
๐ฏ๐ต
Japanese Computing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org
ยท
19h
ยท
Discuss:
Hacker News
๐ข
Reed-Solomon Math
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Experimenting with ACL2 and Claude Code
mikedodds.org
ยท
6h
ยท
Discuss:
Hacker News
๐
Isabelle
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
[R] A Unified Framework for Continual Semantic Segmentation in 2D and 3D Domains
reddit.com
ยท
14h
ยท
Discuss:
r/MachineLearning
๐
Document Chunking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Work in content? You should be using AI for alt text
tk.gg
ยท
20h
ยท
Discuss:
Hacker News
๐
PostScript
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
IASC: Interactive Agentic System for ConLangs
arxiv.org
ยท
15h
๐ณ
Context free grammars
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sorting encrypted data without decryption: a practical trick
dev.to
ยท
4h
ยท
Discuss:
DEV
๐
Hash Functions
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Defeating Return Type Polymorphism
philipphagenlocher.de
ยท
1d
ยท
Discuss:
Hacker News
๐งฌ
Functional Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We built AI that auto-checks building plans
planchecksolver.com
ยท
3h
ยท
Discuss:
Hacker News
๐
Reproducible Builds
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »